Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
671	Advanced Program Analyses for Object-oriented Systems Dr. Barbara G. Ryder Rutgers University http://www.cs.rutgers.edu/~ryder http://prolangs.rutgers.edu/ Add to Reading List Source URL: people.cs.vt.edu Language: English - Date: 2007-12-23 13:13:59 Infimum Supremum Mathematics Dependence analysis Abstraction Computing Order theory Dataflow Lattice
672	LOGIC AND THE METHODOLOGY OF SCIENCE PRELIMINARY EXAMINATION 1. Prove or disprove: For any uncountable well-ordered set (X, <) there is a countable well-ordered set (Y, <) for which (X, <) ≡ (Y, <). 2. Suppose that L i Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-08-24 16:43:20 Model theory Functions and mappings Ordinal numbers Logic in computer science Peano axioms Constructible universe First-order logic Function Well-order Mathematical logic Mathematics Logic
673	Maximum Independent Set for Intervals by Divide-Prune-and-Conquer Jack Snoeyink∗ Dept. of Computer Science UNC Chapel Hill Lemma 1 Let T be a recursion tree with k leaves and Add to Reading List Source URL: www.cccg.ca Language: English - Date: 2005-07-31 13:55:55 Order theory Topology Divide and conquer algorithm Independent set Algorithm Logarithm Interval tree Graph theory Mathematics Interval
674	YOUR NAME: REGISTRATION # (H) Bertrand and Russellpoints] Teachers can be hard to understand sometimes. Case in point, the math teacher, Mr. Whitehead. Just this Add to Reading List Source URL: www.naclo.cs.cmu.edu Language: English - Date: 2014-03-31 21:30:02 Quantification Predicate logic Model theory Function First-order logic Universal quantification Proposition Existential quantification Logicism Logic Mathematical logic Mathematics
675	PUBLICATIONS BY BARON-COHEN (updated 26th March 2015) * Top 20 most important SECTION 1: PEER REVIEWED JOURNAL ARTICLES (in chronological order. Baron-Cohen, S, Leslie, A.M., & Frith, U, (1985) Does the autistic Add to Reading List Source URL: docs.autismresearchcentre.com Language: English* - Date: 2015-03-27 07:42:55 Abnormal psychology Simon Baron-Cohen Mind-blindness Autism spectrum Asperger syndrome Empathizing–systemizing theory Weak central coherence theory Cohen Theory of mind Health Autism Psychiatry
676	Abstractions from Proofs∗ Thomas A. Henzinger Ranjit Jhala Rupak Majumdar Add to Reading List Source URL: www.kenmcmil.com Language: English - Date: 2006-06-02 17:23:14 Propositional calculus Model theory Predicate logic Formal languages First-order logic Function Interpretation Entailment Partition Logic Mathematics Mathematical logic
677	Sorting Algorithms Tanya Khovanova March 18, 2013 A programmer sometimes wakes up in the middle of the night and feels thirsty. Soon, he thinks of a solution. He will leave 2 glasses next to his bed. One full of water, i Add to Reading List Source URL: www.tanyakhovanova.com Language: English - Date: 2013-12-12 14:13:02 Combinatorics Harvard–MIT Mathematics Tournament Algorithm Bubble sort Quicksort Insertion sort Merge sort Sorting algorithms Order theory Mathematics
678	Some hints on reading Boolos, “To Be is to Be. . . ” John MacFarlane—Philosophy 142 February 3, 2011 There are some things in this article that will only make sense to you if you’ve studied some metalogic and set Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-02-03 15:19:17 Model theory Non-standard model of arithmetic Second-order logic S Plural quantification First-order logic Peano axioms Interpretation Compactness theorem Mathematical logic Logic Mathematics
679	CCST9017 Hidden Order in Daily Life: A Mathematical Perspective Lecture 5 Shapley Value and Power Indices II Dr. Tuen Wai Ng Add to Reading List Source URL: hkumath.hku.hk Language: English - Date: 2014-10-09 05:27:50 Problem solving Economics Shapley value Lloyd Shapley Shapley–Shubik power index Permutation Summation Bondareva–Shapley theorem Martin Shubik Game theory Cooperative games Mathematics
680	MAP Reconstruction from Spatially Correlated PET Data Adam Alessio, Ken Sauer, and Charles A. Bouman Abstract— High sensitivity 3D PET data is often rebinned into 2D data sets in order to reduce the computation time of Add to Reading List Source URL: faculty.washington.edu Language: English - Date: 2005-11-10 13:24:09 Data analysis Algebra of random variables Covariance Expectation–maximization algorithm Positron emission tomography Maximum likelihood Minimum mean square error 3D modeling Statistics Estimation theory Covariance and correlation

UPDATE